Formal system

Results: 1034



#Item
21TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:31
22Issues Concerning AI Transparency

Issues Concerning AI Transparency

Add to Reading List

Source URL: intelligence.org

Language: English - Date: 2016-05-31 11:21:15
23Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft C´esar Mu˜ noz and Anthony Narkawicz? NASA Langley Research Center, Hampton, Virginia {cesar.a.munoz,anthony.narkawicz}@nasa.gov

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft C´esar Mu˜ noz and Anthony Narkawicz? NASA Langley Research Center, Hampton, Virginia {cesar.a.munoz,anthony.narkawicz}@nasa.gov

Add to Reading List

Source URL: shemesh.larc.nasa.gov

Language: English - Date: 2016-05-17 09:23:43
24The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,

The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,

Add to Reading List

Source URL: cervone.psu.edu

Language: English - Date: 2015-11-18 09:12:46
25PML : A new proof assistant and deduction system Christophe Raffalli LAMA

PML : A new proof assistant and deduction system Christophe Raffalli LAMA

Add to Reading List

Source URL: www.lama.univ-savoie.fr

Language: English - Date: 2007-07-02 08:10:34
26JULY 2016 COMMUNIQUÉ Nominet’s Board of Directors met on 27 JulyBoard matters Volker Greimann – The Chair welcomed Volker to his first formal Board meeting. Strategic risk – As part of a regular series of s

JULY 2016 COMMUNIQUÉ Nominet’s Board of Directors met on 27 JulyBoard matters Volker Greimann – The Chair welcomed Volker to his first formal Board meeting. Strategic risk – As part of a regular series of s

Add to Reading List

Source URL: www.nominet.uk

Language: English - Date: 2016-08-04 09:07:18
27Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski

Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski

Add to Reading List

Source URL: mizar.auburn.edu

Language: English - Date: 2016-07-29 01:16:07
28Appeals Process In terms of appeals against allocation decisions, we have established a formal appeal system. For example, an applicant may appeal against an assessment we make concerning their housing needs. Timescale f

Appeals Process In terms of appeals against allocation decisions, we have established a formal appeal system. For example, an applicant may appeal against an assessment we make concerning their housing needs. Timescale f

Add to Reading List

Source URL: www.westlothian.gov.uk

Language: English
29AIRS Project Ontologies Ron Rudnicki The Actionable Intelligence Retrieval System (AIRS) is an integrated collection of applications designed to extract knowledge from a large number of widely varied d

AIRS Project Ontologies Ron Rudnicki The Actionable Intelligence Retrieval System (AIRS) is an integrated collection of applications designed to extract knowledge from a large number of widely varied d

Add to Reading List

Source URL: ncor.buffalo.edu

Language: English - Date: 2012-01-20 17:00:40
30Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2

Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2

Add to Reading List

Source URL: rodin.cs.ncl.ac.uk

Language: English - Date: 2007-11-21 10:57:32